旋转压电体的广义压电热弹耦合问题的有限元法

基于具有2个热松弛时间的Green和Lindsay(G-L)广义热弹性理论,研究了无限大旋转厚压电板在上下表面受到条带状热冲击时的广义压电热弹性问题.为避免采用积分变换法求解带来精度降低问题,采用有限元法在时间域内对控制方程直接进行求解,得到了压电板在热冲击作用下的无量纲温度、无量纲位移、无量纲应力及无量纲电势等的变化...     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

区间估计中一个问题的探讨

讨论了正态总体的均值已知时方差的区间估计．两种方法找到了不同的置信区间,通过举例和分析x2分布表,对这两个区间进行了甄别．     

区间离散广义系统的弹性保成本控制

区间系统是一类不确定性可描述为参数矩阵的各个元素在某一区间内变化的系统.本文中系统矩阵和输入矩阵的各元素是未知的,但在某一确定的区间内变化.分别就控制器增益存在加法摄动和乘法摄动两种情况,讨论了系统保成本控制问题.控制器的设计可以通过求解一组线性矩阵不等式得到.最后的数值算例说明了设计方法的可行性和有效性.     

光滑函数芽的无限相对决定性

在(Rn,0)中一般代数集芽S上,讨论了光滑函数芽在右等价群R的子群Rs作用下其无限相对决定性的条件,所得结果推广了Wilson的有关定理.     

关于积分中值定理的一个问题

在原有的积分中值定理的基础上加强了被积函数的条件得出了至少存在一点属于开区间的结论,给出了证明,并应用到形如limn→∞∫1a xn/1＋x dx=0（0≤a〈1）这一问题的证明中。     

具有无穷大边界值的二阶拟线性奇摄动Robin问题的双边界层

研究一类具有无穷大边界值的二阶拟线性奇摄动Robin边值问题的双边界层现象.基于边界层校正的思想,构造了左右端点附近的边界层函数(包括指数型与代数型),得到了该问题一致有效的渐近解;基于微分不等式理论,证明了该问题解的存在性,给出了渐近解关于精确解的误差估计.一个典型的算例验证了所得结果的正确性.     

具有无穷大边界值的半线性奇摄动Neumann边值问题

基于微分不等式方法,结合边界层校正的思想,研究了一类具有无穷大边界值的半线性奇摄动Neumann边值问题解的存在性、解的渐近近似以及渐近解的误差估计等.两个典型的算例表明:基于边界层校正思想所构造的渐近解是正确且一致有效的.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

无限长预应力弹性地基梁后屈曲问题的数值解

基于无限长预应力弹性地基梁的积 微分方程控制方程, 通过引进新变量将其扩展成微分方程组, 再利用打靶法求解该扩展系统进而得到该问题的数值解. 结果表明： 后屈曲载荷与后屈曲挠度曲线都依赖于梁挠度为零点的正斜率; 而后屈曲波长不随此斜率的增加而变化.